Alias types for “environment-aware” computations

Alias types for "environment-aware" computations

In previous work with Bono we introduced a calculus for modelling “environmentaware” computations, that is computations that adapt their behavior according to the capabilities of the environment. The calculus is an imperative, object-based language (with extensible objects and primitives for discriminating the presence or absence of attributes of objects) equipped with a small-step operational ...

Alias Types and Effects for "Environment-aware" Computations

We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the environment). In particular, we propose a type and effect system for an imperative object-based calculus with a primitive for discriminating the presence or absence of object’s attributes. Both the shape of environments wh...

Alias Types for

Alias Types

Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as the ability to reuse memory at different types, are essential in low-level typed languages. However, traditional linear type systems are too restrictive for use in low-level code where it is necessary to exploit pointer aliasing....

Environment-aware computations via program updates

We show how different behaviours of environment-aware agents can be naturally specified in terms of logic program updates. The obtained declarative semantics sets a firm basis for the development and the analysis of environment-aware agents.